Demonstrating WSMX: Least Cost Supply Management

Current web service technologies lack semantic descriptions of functionality and requirements; semantic markup of web services would allow interoperability and dynamic discovery of services. The Web Service Modelling Ontology (WSMO) provides a framework for semantically describing web services, ontologies, goals and mediators. WSMX is an execution environment for WSMO allowing discovery, mediation and invocation of semantically described services. We give an overview of the current state of WSMX and demonstrate how WSMX can be used in ordering a broadband Internet line. We note two additional requirements for a web service execution environment: that it should be possible to partially defer web service descriptions until runtime and that it should be possible to execute complex goals. We describe how we augmented the software to support these requirements.